<!DOCTYPE html>
<html>
  <head>
    <meta charset="utf-8">
    <title>Redirecting to main</title>
    <meta http-equiv="refresh" content="0; url='./docs/main.html'" />
  </head>
  <body style="background-color: #AAAAAA;">
  </body>
</html>
